herbie - float error fixer

2023-11-15 · 1 min read

Find and fix floating-point problems: #

sqrt(x+1) - sqrt(x) → 1/(sqrt(x+1) + sqrt(x))

Herbie detects inaccurate expressions and finds more accurate replacements. The red expression is inaccurate when x > 1; Herbie's replacement, in blue, is accurate for all x.

• Site: https://herbie.uwplse.org/
• Github: https://github.com/herbie-fp/herbie